how to dig a mine shaft